Slat 2024 Logical Reasoning